Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
191	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
192	Specifying and Verifying Concurrent C Programs with TLA+ Amira Methni1,4(B) , Matthieu Lemerre2 , Belgacem Ben Hedia1 , Serge Haddad3 , and Kamel Barkaoui4 1 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-05-28 08:33:18 Computer programming Data types Call stack Stack Model checking Pointer Temporal logic of actions Final Software engineering Computing Subroutines
193	Theories of coalitional rationality∗ Attila Ambrus† Abstract This paper generalizes the concept of best response to coalitions of players and oﬀers epistemic definitions of coalitional rationalizability in normal f Add to Reading List Source URL: public.econ.duke.edu Language: English - Date: 2012-08-28 11:36:22 Science Cooperative game Sheaf Function Entailment Interpretation Nash equilibrium Solution concept Linear temporal logic Logic Game theory Mathematics
194	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
195	Coordination Logi ? Bernd Finkbeiner1 and Sven S hewe2 1 Universitat des Saarlandes University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2010-08-16 15:28:31 Logi Realizability Mathematics Logic Abstraction Linear temporal logic Temporal logic Free variables and bound variables
196	Supplemental Material : A Unified Framework for Multi-Target Tracking and Collective Activity Recognition Wongun Choi and Silvio Savarese Electrical and Computer Engineering, University of Michigan, Ann Arbor, USA {wgcho Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2014-04-08 01:52:59 Flow network Network flow Function Linear temporal logic Mathematics Operations research Functions and mappings
197	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
198	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
199	Transformation Groups, Vol. 8, No. 4, 2003, pp. 321–332 c Birkh¨ auser Boston (2003) Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:47:05 Algebraic combinatorics Kazhdan–Lusztig polynomial Polynomials Representation theory of Lie algebras Representation theory of Lie groups Representation theory Symbol Dual space Linear temporal logic Abstract algebra Algebra Mathematics
200	Hans van Ditmarsch EPS – Project numberfor public dissemination Add to Reading List Source URL: personal.us.es Language: English - Date: 2013-08-13 03:09:02 Mathematics Common knowledge Epistemic modal logic Probabilistic logic Kripke semantics Modal operator Dynamic logic Temporal logic Belief revision Logic Mathematical logic Modal logic

UPDATE